mathematical logic перевод

• математическая логика

• mathematical:    1) математический Ex: I am not mathematical, I haven't got a mathematical mind у меня нет способностей к математике Ex: he's a mathematical genius он гениальный математик2) точный Ex: mathematical e
• logic:    1) логика (наука)2) логика, логичность (аргументации и т. п.); разумность; закономерность Ex: to argue with logic рассуждать логично3) логика, неизбежный вывод; неизбежность какого-л. поведения Ex:
• independence (mathematical logic):    Независимость системы аксиом
• literal (mathematical logic):    Литерал (математическая логика)
• logic-mathematical calculus:    матем. логико-математическое исчисление
• mathematical logic stubs:    Незавершённые статьи по математической логике
• predicate (mathematical logic):    Предикат
• sentence (mathematical logic):    Предложение (логика)
• economic and mathematical:    экономико-математический
• mathematical abstraction:    мат. математическая абстракция
• mathematical adjectives:    математические характеристики
• mathematical adjustment:    аналитическое уравнивание
• mathematical algorithm:    математический алгоритм
• mathematical analysis:    математический анализ
• mathematical analysts:    Математические аналитики

• This work led to fundamental contributions to mathematical logic.
  Эта работа внесла фундаментальный вклад в математическую логику.
• McCarthy championed mathematical logic for artificial intelligence.
  Маккарти отстаивал использование математической логики для искусственного интеллекта.
• He also published papers on mathematical logic, and solved a special case of Hilbert's fifth problem.
  Также опубликовал работы по математической логике и решил частный случай пятой проблемы Гильберта.
• In 1961, he was appointed Gordon Mckay Professor of Mathematical Logic and Applied Mathematics at Harvard.
  В 1961 году он получил в Гарварде должность профессора математической логики и прикладной математики от фонда имени Гордона Маккея.
• He has played a crucial role in the introduction of mathematical logic, analytical philosophy and philosophy of science in Spain and Latin America.
  Сыграл ключевую роль в развитии математической логики, аналитической философии и философии науки в Испании и Латинской Америке.
• The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation.
  Автор более 200 книг и статей, он был одним из основателей математической логики и теории множеств.
• Tarski's undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics.
  Теорема Тарского о невыразимости арифметической истины — теорема, доказанная Альфредом Тарским в 1936 году, важный ограничивающий результат в математической логике, основаниях математики и формальной семантике.
• There are also substantial connections with complexity theory, mathematical logic, the study of Lie Groups and their discrete subgroups, dynamical systems, probability theory, K-theory, and other areas of mathematics.
  Также она связана с теорией сложности, математической логикой, исследованием групп Ли и их дискретных подгрупп, динамическими системами, теорией вероятности, K-теорией, и другими областями математики.
• The development of the modern "symbolic" or "mathematical" logic during this period is the most significant in the 2000-year history of logic, and is arguably one of the most important and remarkable events in human intellectual history.
  Появление современной математической логики является наиболее значительным событием в истории логики за последние две тысячи лет и, возможно, одним из наиболее важных и примечательных событий в интеллектуальной истории человечества.